inductive functor

inductive functor
мат.
индуктивный функтор

English-Russian scientific dictionary. 2008.

Игры ⚽ Нужен реферат?

Смотреть что такое "inductive functor" в других словарях:

  • Exact functor — In homological algebra, an exact functor is a functor, from some category to another, which preserves exact sequences. Exact functors are very convenient in algebraic calculations, roughly speaking because they can be applied to presentations of… …   Wikipedia

  • Intuitionistic type theory — Intuitionistic type theory, or constructive type theory, or Martin Löf type theory or just Type Theory is a logical system and a set theory based on the principles of mathematical constructivism. Intuitionistic type theory was introduced by Per… …   Wikipedia

  • Approximately finite dimensional C*-algebra — In C* algebras, an approximately finite dimensional, or AF, C* algebra is one that is the inductive limit of a sequence of finite dimensional C* algebras. Approximate finite dimensionality was first defined and described combinatorially by… …   Wikipedia

  • Direct limit — In mathematics, a direct limit (also called inductive limit) is a colimit of a directed family of objects . We will first give the definition for algebraic structures like groups and modules, and then the general definition which can be used in… …   Wikipedia

  • Limit (category theory) — In category theory, a branch of mathematics, the abstract notion of a limit captures the essential properties of universal constructions such as products and inverse limits. The dual notion of a colimit generalizes constructions such as disjoint… …   Wikipedia

  • Final topology — In general topology and related areas of mathematics, the final topology (inductive topology or strong topology) on a set X, with respect to a family of functions into X, is the finest topology on X which makes those functions continuous.… …   Wikipedia

  • Inverse limit — In mathematics, the inverse limit (also called the projective limit) is a construction which allows one to glue together several related objects, the precise manner of the gluing process being specified by morphisms between the objects. Inverse… …   Wikipedia

  • Étale cohomology — In mathematics, the étale cohomology groups of an algebraic variety or scheme are algebraic analogues of the usual cohomology groups with finite coefficients of a topological space, introduced by Grothendieck in order to prove the Weil… …   Wikipedia

  • Congruence lattice problem — In mathematics, the congruence lattice problem asks whether every algebraic distributive lattice is isomorphic to the congruence lattice of some other lattice. The problem was posed by Robert P. Dilworth, and for many years it was one of the most …   Wikipedia

  • F-coalgebra — In mathematics, specifically in category theory, an F coalgebra is a structure defined according to a functor F. For both algebra and coalgebra, a functor is a convenient and general way of organizing a signature. This has applications in… …   Wikipedia

  • Constraint logic programming — Programming paradigms Agent oriented Automata based Component based Flow based Pipelined Concatenative Concurrent computing …   Wikipedia


Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»